Properties of a Binary Tree